Srinivasan, Sudarshan K.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Building Stone Condition Monitoring Using Specially Designed Compensated Optical Fiber Humidity Sensors

Sun, Tong, Grattan, Kenneth T. V., Srinivasan, Sudarshan, Basheer, P. A. M., Smith, Bernard J., Viles, Heather A.

Journal:

IEEE Sensors Journal

Year:

2012

Language:

english

File:

PDF, 404 KB

english, 2012

2

Commissioning and Evaluation of a Fiber-Optic Sensor System for Bridge Monitoring

Scott, Richard H., Banerji, Pradipta, Chikermane, Sanjay, Srinivasan, Sudarshan, Basheer, P. A. Muhammed, Surre, Frederic, Sun, Tong, Grattan, Kenneth T. V.

Journal:

IEEE Sensors Journal

Year:

2013

Language:

english

File:

PDF, 878 KB

english, 2013

3

[IEEE 2009 IEEE International Symposium on Circuits and Systems - ISCAS 2009 - Taipei, Taiwan (2009.05.24-2009.05.27)] 2009 IEEE International Symposium on Circuits and Systems - Efficient hardware implementation of a new pseudo-random bit sequence generator

Katti, Raj S., Srinivasan, Sudarshan K.

Year:

2009

Language:

english

File:

PDF, 580 KB

english, 2009

4

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - A systematic approach to transforming system requirements into model checking specifications

Aceituna, Daniel, Do, Hyunsook, Srinivasan, Sudarshan

Year:

2014

Language:

english

File:

PDF, 659 KB

english, 2014

5

[IEEE 2019 IEEE International Conference on Cluster Computing (CLUSTER) - Albuquerque, NM, USA (2019.9.23-2019.9.26)] 2019 IEEE International Conference on Cluster Computing (CLUSTER) - Training Google Neural Machine Translation on an Intel CPU Cluster

Kalamkar, Dhiraj D., Banerjee, Kunal, Srinivasan, Sudarshan, Sridharan, Srinivas, Georganas, Evangelos, Smorkalov, Mikhail E., Xu, Cong, Heinecke, Alexander

Year:

2019

Language:

english

File:

PDF, 2.14 MB

english, 2019

6

Formal Modeling and Verification of PCHB Asynchronous Circuits

Sakib, Ashiq A., Smith, Scott C., Srinivasan, Sudarshan K.

Journal:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year:

2019

Language:

english

File:

PDF, 3.10 MB

english, 2019

7

Integrated Cognitive Behavioral Intervention Reduces Intimate Partner Violence Among Alcohol Dependent Men, and Improves Mental Health Outcomes in their Spouses: A Clinic Based Randomized Controlled Trial from South India

Satyanarayana, Veena A., Nattala, Prasanthi, Selvam, Sumithra, Pradeep, Johnson, Hebbani, Sudharshan, Hegde, Sudarshan, Srinivasan, Krishnamachari

Journal:

Journal of Substance Abuse Treatment

Year:

2016

Language:

english

File:

PDF, 529 KB

english, 2016

8

[IEEE 2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS) - Windsor, ON, Canada (2018.8.5-2018.8.8)] 2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS) - An Equivalence Verification Methodology for Combinational Asynchronous PCHB Circuits

Sakib, Ashiq A., Smith, Scott C., Srinivasan, Sudarshan K.

Year:

2018

Language:

english

File:

PDF, 20 KB

english, 2018

9

[IEEE 2015 IEEE 58th International Midwest Symposium on Circuits and Systems (MWSCAS) - Fort Collins, CO, USA (2015.8.2-2015.8.5)] 2015 IEEE 58th International Midwest Symposium on Circuits and Systems (MWSCAS) - A new scalable fault tolerant routing algorithm for networks-on-chip

Kia, Hamed Sajjadi, Ababei, Cristinel, Srinivasan, Sudarshan, Jabeen, Shaista

Year:

2015

Language:

english

File:

PDF, 268 KB

english, 2015

10

[IEEE 2010 IEEE International Symposium on Circuits and Systems - ISCAS 2010 - Paris, France (2010.05.30-2010.06.2)] Proceedings of 2010 IEEE International Symposium on Circuits and Systems - Joint optimal placement of PMU and conventional measurements in power systems

Kavasseri, Rajesh, Srinivasan, Sudarshan K.

Year:

2010

Language:

english

File:

PDF, 115 KB

english, 2010

11

Microstructural study and mechanical characterisation of heat-treated direct metal laser sintered Ti6Al4V for biomedical applications

Srinivasan, Dheepa, Singh, Anubhav, Reddy, Anigani Sudarshan, Chatterjee, Kaushik

Journal:

Materials Technology

Year:

2020

File:

PDF, 14.97 MB

2020

12

[IEEE 2009 IEEE International Symposium on Circuits and Systems - ISCAS 2009 - Taipei, Taiwan (2009.05.24-2009.05.27)] 2009 IEEE International Symposium on Circuits and Systems - Verification of desynchronized circuits

Srinivasan, Sudarshan K., Katti, Raj S.

Year:

2009

Language:

english

File:

PDF, 631 KB

english, 2009

13

[IEEE 2019 IEEE International Symposium on Circuits and Systems (ISCAS) - Sapporo, Japan (2019.5.26-2019.5.29)] 2019 IEEE International Symposium on Circuits and Systems (ISCAS) - An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits

Hossain, Mousam, Sakib, Ashiq A., Srinivasan, Sudarshan K., Smith, Scott C.

Year:

2019

File:

PDF, 425 KB

2019

14

[IEEE 2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS) - Boston, MA, USA (2017.8.6-2017.8.9)] 2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS) - Formal modeling and verification for pre-charge half buffer gates and circuits

Sakib, Ashiq A., Smith, Scott C., Srinivasan, Sudarshan K.

Year:

2017

Language:

english

File:

PDF, 222 KB

english, 2017

15

[IEEE 2019 IEEE International Symposium on Circuits and Systems (ISCAS) - Sapporo, Japan (2019.5.26-2019.5.29)] 2019 IEEE International Symposium on Circuits and Systems (ISCAS) - An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits

Hossain, Mousam, Sakib, Ashiq A., Srinivasan, Sudarshan K., Smith, Scott C.

Year:

2019

Language:

english

File:

PDF, 425 KB

english, 2019

16

A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures

Panagiotis Manolios, Sudarshan K. Srinivasan

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 423 KB

english, 2006

17

[IEEE 2014 9th Workshop on Workflows in Support of Large-Scale Science (WORKS) - New Orleans, LA, USA (2014.11.16-2014.11.16)] 2014 9th Workshop on Workflows in Support of Large-Scale Science - A Cleanup Algorithm for Implementing Storage Constraints in Scientific Workflow Executions

Srinivasan, Sudarshan, Juve, Gideon, Silva, Rafael Ferreira da, Vahi, Karan, Deelman, Ewa

Year:

2014

Language:

english

File:

PDF, 184 KB

english, 2014

18

[IEEE 2012 IEEE 18th International On-Line Testing Symposium (IOLTS 2012) - Sitges, Spain (2012.06.27-2012.06.29)] 2012 IEEE 18th International On-Line Testing Symposium (IOLTS) - Cross-level protection of circuits against faults and malicious attacks

Tomashevich, Victor, Srinivasan, Sudarshan, Foerg, Fabian, Polian, Ilia

Year:

2012

Language:

english

File:

PDF, 253 KB

english, 2012

19

A Formal Verification Methodology for FPGA-Based Stepper Motor Control

Jabeen, Shaista, Srinivasan, Sudarshan, Shuja, Sana, Dubasi, Mohana

Journal:

IEEE Embedded Systems Letters

Year:

2015

Language:

english

File:

PDF, 192 KB

english, 2015

20

Nutritional Status of Tribal Children and Adolescents in Rural South India: The Effect of an NGO Delivered Nutritional Programme

Richard Thomas, Rohit Srinivasan, Hanumappa Sudarshan

Journal:

Indian Journal of Pediatrics

Year:

2013

Language:

english

File:

PDF, 109 KB

english, 2013

21

[IEEE 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Natal, Brazil (2013.08.5-2013.08.7)] 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - A study on polymorphing superscalar processor dynamically to improve power efficiency

Srinivasan, Sudarshan, Rodrigues, Rance, Annamalai, Arunachalam, Koren, Israel, Kundu, Sandip

Year:

2013

Language:

english

File:

PDF, 730 KB

english, 2013

22

A Formal Verification Methodology for DDD Mode Pacemaker Control Programs

Shuja, Sana, Srinivasan, Sudarshan K., Jabeen, Shaista, Nawarathna, Dharmakeerthi

Journal:

Journal of Electrical and Computer Engineering

Year:

2015

Language:

english

File:

PDF, 1.42 MB

english, 2015

23

Automatic Refinement Checking of Pipelines with Out-of-Order Execution

Srinivasan, Sudarshan K.

Journal:

IEEE Transactions on Computers

Year:

2010

Language:

english

File:

PDF, 1.31 MB

english, 2010

24

Modeling and Analysis of State-of-the-art VM-based Cloud Management Platforms

Malik, Saif U. R., Khan, Samee U., Srinivasan, Sudarshan K.

Journal:

IEEE Transactions on Cloud Computing

Year:

2013

Language:

english

File:

PDF, 2.59 MB

english, 2013

25

[IEEE 2013 IEEE 31st International Conference on Computer Design (ICCD) - Asheville, NC, USA (2013.10.6-2013.10.9)] 2013 IEEE 31st International Conference on Computer Design (ICCD) - On dynamic polymorphing of a superscalar core for improving energy efficiency

Srinivasan, Sudarshan, Rodrigues, Rance, Annamalai, Arunachalam, Koren, Israel, Kundu, Sandip

Year:

2013

Language:

english

File:

PDF, 184 KB

english, 2013

26

Book Reviews

V. Srinivasan,T. S. Sudarshan

Journal:

JOM Journal of the Minerals, Metals and Materials Society

Year:

1985

Language:

english

File:

PDF, 302 KB

english, 1985

27

[IEEE 2015 33rd IEEE International Conference on Computer Design (ICCD) - New York City, NY, USA (2015.10.18-2015.10.21)] 2015 33rd IEEE International Conference on Computer Design (ICCD) - Online mechanism for reliability and power-efficiency management of a dynamically reconfigurable core

Srinivasan, Sudarshan, Koren, Israel, Kundu, Sandip

Year:

2015

Language:

english

File:

PDF, 302 KB

english, 2015

28

[IEEE 2019 IEEE International Conference on Cluster Computing (CLUSTER) - Albuquerque, NM, USA (2019.9.23-2019.9.26)] 2019 IEEE International Conference on Cluster Computing (CLUSTER) - Training Google Neural Machine Translation on an Intel CPU Cluster

Kalamkar, Dhiraj D., Banerjee, Kunal, Srinivasan, Sudarshan, Sridharan, Srinivas, Georganas, Evangelos, Smorkalov, Mikhail E., Xu, Cong, Heinecke, Alexander

Year:

2019

File:

PDF, 2.14 MB

2019

29

[IEEE 2020 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS) - Boston, MA, USA (2020.8.23-2020.8.25)] 2020 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS) - ASTRA-SIM: Enabling SW/HW Co-Design Exploration for Distributed DL Training Platforms

Rashidi, Saeed, Sridharan, Srinivas, Srinivasan, Sudarshan, Krishna, Tushar

Year:

2020

File:

PDF, 1.45 MB

2020

30

[IEEE 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Natal, Brazil (2013.08.5-2013.08.7)] 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Program phase duration prediction and its application to fine-grain power management

Srinivasan, Sudarshan, Kumar, Raghavan, Kundu, Sandip

Year:

2013

Language:

english

File:

PDF, 661 KB

english, 2013

31

Automatic verification of safety and liveness for pipelined machines using WEB refinement

Manolios, Panagiotis, Srinivasan, Sudarshan K.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2008

Language:

english

File:

PDF, 336 KB

english, 2008

32

A direct derivation of the Dirac equation via quaternion measures

Srinivasan, S K, Sudarshan, E C G

Journal:

Journal of Physics A: Mathematical and General Physics

Year:

1996

Language:

english

File:

PDF, 88 KB

english, 1996

33

Many-time photocount distributions

Srinivasan, S K, Sukavanam, S, Sudarshan, E C G

Journal:

Journal of Physics A: Mathematical and General Physics

Year:

1973

Language:

english

File:

PDF, 385 KB

english, 1973

34

[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - Automatic Memory Reductions for RTL Model Verification

Manolios, Panagiotis, Srinivasan, Sudarshan, Vroon, Daron

Year:

2006

Language:

english

File:

PDF, 10.54 MB

english, 2006

35

[ASME ASME 2017 Gas Turbine India Conference - Bangalore, India (Thursday 7 December 2017)] Volume 2: Structures and Dynamics; Renewable Energy (Solar, Wind); Inlets and Exhausts; Emerging Technologies (Hybrid Electric Propulsion, UAV, ...); GT Operation and Maintenance; Materials and Manufacturing (Including Coatings, Composites, CMCs, Additive Manufacturing); Analytics and Digital Solutions for Gas Turbines/Rotating Machinery - Study of Process Parameter and Powder Variability on the Properties and Recrystallization Behavior of Direct Metal Laser Sintered CoCrMo

Chandrasekara, Santhosh Kumar Rao, Sudarshan Reddy, Anigani, Srinivasan, Dheepa, Ananthanarayanan, Durga

Year:

2017

Language:

english

File:

PDF, 2.52 MB

english, 2017

36

Formal verification methodology for real-time Field Programmable Gate Array

Jabeen, Shaista, Srinivasan, Sudarshan, Shuja, Sana

Journal:

IET Computers & Digital Techniques

Year:

2017

Language:

english

File:

PDF, 2.20 MB

english, 2017

37

[IEEE 2012 13th International Symposium on Quality Electronic Design (ISQED) - Santa Clara, CA, USA (2012.03.19-2012.03.21)] Thirteenth International Symposium on Quality Electronic Design (ISQED) - Functional test pattern generation for maximizing temperature in 3D IC chip stack

Srinivasan, Sudarshan, Kundu, Sandip

Year:

2012

Language:

english

File:

PDF, 843 KB

english, 2012

38

[IEEE 2020 IEEE International Symposium on High Performance Computer Architecture (HPCA) - San Diego, CA, USA (2020.2.22-2020.2.26)] 2020 IEEE International Symposium on High Performance Computer Architecture (HPCA) - SIGMA: A Sparse and Irregular GEMM Accelerator with Flexible Interconnects for DNN Training

Qin, Eric, Samajdar, Ananda, Kwon, Hyoukjun, Nadella, Vineet, Srinivasan, Sudarshan, Das, Dipankar, Kaul, Bharat, Krishna, Tushar

Year:

2020

File:

PDF, 1.74 MB

2020

39

Complex measures and amplitudes, generalized stochastic processes and their applications to quantum mechanics

Srinivasan, S K, Sudarshan, E C G

Journal:

Journal of Physics A: Mathematical and General Physics

Year:

1994

Language:

english

File:

PDF, 864 KB

english, 1994

40

[IEEE 2014 32nd IEEE International Conference on Computer Design (ICCD) - Seoul, South Korea (2014.10.19-2014.10.22)] 2014 IEEE 32nd International Conference on Computer Design (ICCD) - Equivalence verification for NULL Convention Logic (NCL) circuits

Wijayasekara, Vidura M., Srinivasan, Sudarshan K., Smith, Scott C.

Year:

2014

Language:

english

File:

PDF, 1.07 MB

english, 2014

41

Unexpected foreign body in the neck: A case report

Jannu, Anubhav, Balakrishna, Ramdas, Sudarshan, H, Veena, GC, Srinivasan, Bhuvaneshwari

Journal:

IJS Short Reports

Year:

2017

Language:

english

File:

PDF, 754 KB

english, 2017

42

Aerosolization of lipoplexes using AERx® pulmonary delivery system

Deepa Deshpande, James Blanchard, Sudarshan Srinivasan, Dallas Fairbanks, Jun Fujimoto, Teiji Sawa, Jeanine Wiener-Kronish, Hans Schreier, Igor Gonda

Journal:

The AAPS Journal

Year:

2002

Language:

english

File:

PDF, 499 KB

english, 2002

43

[ACM Press the 2006 IEEE/ACM international conference - San Jose, California (2006.11.05-2006.11.09)] Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design - ICCAD '06 - Automatic memory reductions for RTL model verification

Manolios, Panagiotis, Srinivasan, Sudarshan K., Vroon, Daron

Year:

2006

Language:

english

File:

PDF, 253 KB

english, 2006

44

A Wavelet-Based Spatio-Temporal Heat Dissipation Model for Reordering of Program Phases to Produce Temperature Extremes in a Chip

Srinivasan, Sudarshan, Ganeshpure, Kunal P., Kundu, Sandip

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2012

Language:

english

File:

PDF, 9.23 MB

english, 2012

45

Unexpected foreign body in the neck: A case report

Jannu, Anubhav, Balakrishna, Ramdas, Sudarshan, H, Veena, GC, Srinivasan, Bhuvaneshwari

Journal:

IJS Short Reports

Year:

2017

File:

PDF, 754 KB

2017

46

Exploring Heterogeneity within a Core for Improved Power Efficiency

SRINIVASAN, SUDARSHAN, Kurella, Nithesh, Koren, Israel, Kundu, Sandip

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2015

Language:

english

File:

PDF, 634 KB

english, 2015

47

Token-Aware Completion Functions for Elastic Processor Verification

Srinivasan, Sudarshan K., Sarker, Koushik, Katti, Rajendra S.

Journal:

Research Letters in Communications

Year:

2009

Language:

english

File:

PDF, 160 KB

english, 2009

48

[ACM Press the 23rd international conference - Edmonton, AB, Canada (2014.08.24-2014.08.27)] Proceedings of the 23rd international conference on Parallel architectures and compilation - PACT '14 - A runtime support mechanism for fast mode switching of a self-morphing core for power efficiency

Srinivasan, Sudarshan, kurella, Nithesh, Koren, Israel, Rodrigues, Rance, Kundu, Sandip

Year:

2014

Language:

english

File:

PDF, 472 KB

english, 2014

49

Sub-optimal data compression and the subset sum problem

Raj Katti, Sudarshan Srinivasan

Journal:

AEU - International Journal of Electronics and Communications

Year:

2011

Language:

english

File:

PDF, 236 KB

english, 2011

50

[IEEE 2013 26th International Conference on VLSI Design: concurrently with the 12th International Conference on Embedded Systems - Pune, India (2013.01.5-2013.01.10)] 2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems - Impact of Clock-Gating on Power Distribution Network Using Wavelet Analysis

Patil, Vinay C., Srinivasan, Sudarshan, Burleson, Wayne P., Kundu, Sandip

Year:

2013

Language:

english

File:

PDF, 365 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски